Formal analysis

Results: 1589



#Item
251Formal sciences / Customer experience management / Data analysis / Data mining / Analytics / Business analytics / Database marketing / Business / Business intelligence / Marketing

S&_logotype+D_black_le

Add to Reading List

Source URL: www.strategy-business.com

Language: English - Date: 2014-09-29 05:50:07
252Data analysis / Formal sciences / Data management / Microsoft Excel / Web analytics / Customer relationship management / Analytics / Data warehouse / SharePoint Dashboard / Business / Business intelligence / Marketing

DATA SERVICES EXPLOITING DATA IN THIRD-PARTY SYSTEMS Data is the new oil. Exploit your treasure trove of data! econda data services grant you access to raw data or self-defined, refined sets of data for processing in oth

Add to Reading List

Source URL: www.econda.com

Language: English - Date: 2014-11-12 05:52:25
253Data management / Data analysis / Statistics / Data warehousing / Analytics / Mathematical finance / Business analytics / Data mining / Computer science / Business intelligence / Formal sciences / Business

Data Analytics Competitions as a Learning Tool

Add to Reading List

Source URL: edcon2013.ischool.syr.edu

Language: English - Date: 2013-11-08 16:40:39
254Technology / Business intelligence / Data analysis / Database management systems / Database theory / Data visualization / Data mining / Analytics / Big data / Science / Data management / Formal sciences

Microsoft PowerPoint - BDcon IBMElan Sasson.pptx

Add to Reading List

Source URL: edcon2013.ischool.syr.edu

Language: English - Date: 2013-11-08 16:40:28
255Science / Data analysis / Business intelligence / Morocco / Kenitra / Tangier / Data visualization / Analytics / Data quality / Technology / Formal sciences / Data management

CloudTech 2015 International Workshop on Big Data Marrakech, Morocco - June 3, 2015 Call for Papers Big Data are high volume, high velocity, high variety, veracity and Value information. These incredibly

Add to Reading List

Source URL: www.macc.ma

Language: English - Date: 2015-04-19 14:42:01
256Computer programming / Software engineering / Worst-case execution time / Formal methods / Static timing analysis / Compiler optimization / Analysis / Assembly language / Infinite loop / Real-time computing / Programming language implementation / Computing

ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling ∗ 2 Sibin Mohan1, Frank Mueller1 , William Hawkins2 , Michael Root3 , Christopher Healy3 and David Whalley4

Add to Reading List

Source URL: www.cs.fsu.edu

Language: English - Date: 2005-09-23 10:35:49
257Xilinx ISE / Formal methods / Field-programmable gate array / Hardware description languages / Xilinx / Timing closure / Static timing analysis / Application-specific integrated circuit / Design closure / Electronic engineering / Electronic design automation / Electronics

Vivado Design Suite Advanced XDC and Static Timing Analysis for ISE Software Users FPGA 2 VIVA11000-ILT (v1.0)

Add to Reading List

Source URL: www.xilinx.com

Language: English - Date: 2014-06-17 12:40:57
258Data management / Business intelligence / Analytics / Mathematical finance / Big data / Data analysis / Visual analytics / Science / Technology / Formal sciences

Microsoft PowerPoint - day 1 number 6 - John H.pptx

Add to Reading List

Source URL: edcon2014.ischool.syr.edu

Language: English - Date: 2014-11-05 11:16:50
259Data analysis / Formal sciences / Natural language processing / Statistical natural language processing / Business analytics / ADAPA / Analytics / Text mining / Data mining / Science / Statistics / Business intelligence

Microsoft PowerPoint - EdCon panel - training for employable graduates - Plachy 26 October 2014.pptx [Read-Only]

Add to Reading List

Source URL: edcon2014.ischool.syr.edu

Language: English - Date: 2014-11-05 11:18:38
260

Inference and Analysis of Formal Models of Botnet Command and Control Protocols Chia Yuan Cho Domagoj Babi´c

Add to Reading List

Source URL: security.cs.berkeley.edu

Language: English - Date: 2010-08-06 19:08:26
    UPDATE